On the passage spaced Archer-Hind writes: ‘It seems to me that needless difficulty has been raised over this sentence; Хαρέντως έҳων simply means “having his body in a good state,” and to this τοαύτη refers. If the body were in a healthy condition at death and at a healthy age, it would hold out longer, says Plato, against decomposition. Mr. Cope, I think, is quite correct in translating “If a man dies with his body in a vigorous state and at (...) a vigorous period of his life, a very considerable time indeed.” The following sentence συμπεσòν … χρόνον is bracketed by Schanz after Ast. I see no sufficient reason for doing so; the yap is certainly not very obvious but may be explained thus; for if a body is embalmed it remains nearly whole for an indefinite time. Hirschig brackets ώσμερ … ταριχενθέντες very superfluously. Plato says the body of a healthy man who dies in the prime of life lasts a good while; an Egyptian mummy lasts an indefinite time; even without this some parts of the human frame are almost indestructible.’. (shrink)

Response to commentaries on keynote article.

Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour (...) as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided. (shrink)

Written over the last 18 months of his life and inspired by his interest in G. E. Moore's defence of common sense, this much discussed volume collects Wittgenstein's reflections on knowledge and certainty, on what it is to know a proposition for sure.

Levesque et al. have defined a programming language, Golog, in order to reason about complex actions within the framework of the situation calculus. We build on previous work of ours and show how to translate Golog into linear logic, suitably augmented.

Markov, A. A. On constructive mathematics.--Ceĭtin, G. S. Mean value theorems in constructive analysis.--Zaslavskiĭ, I. D. and Ceĭtlin, G. S. On singular coverings and properties of constructive functions connected with them.--Maslov, S. Ju. Certain properties of E. L. Post's apparatus of canonical calculi.--Zaslavskiĭ, I. D. Graph schemes with memory.

In REG 73 and 75 I discussed various points connected with the Peace of Philocrates, a number of which have been assailed by M. M. Markle in CQ N.S. 24 in an article entitled ‘The Strategy of Philip in 346 B.C.’. Time passes, and, although de Ste. Croix in his Origins of the Peloponnesian War , p.105, felt able to declare that ‘a book shortly to be published by M. M. Markle makes a valuable and original contribution to our understanding (...) of the Peace of Philocrates’, and Markle himself confirms that a book is indeed forthcoming, some comment on his preliminary comments may be permitted. (shrink)

Molly Farneth’s Hegel’s Social Ethics hearkens back to the tradition of Josiah Royce, which has continued in the work of Richard Bernstein and Jeffrey Stout. At the same time, it reflects the impact of three decades of interpretive work which has offered an alternative to the 19th and early 20th century reading of Hegel as a metaphysical systematizer. In this new reading he was from the beginning a social critic and political theorist who looked to lay the groundwork for post‐Enlightenment (...) vision of the social world as evolving toward one of social cooperation based on mutual recognition. Farneth has developed this reading of Hegel into one of powerful resources for democratic pluralism. (shrink)

There is frequently an appearance of conflict between medicine and economics. This arises first because the nature of health and health care requires the doctor to make decisions on behalf of the patient and thus serves to explain why medical ethics exist. But secondly it is due to the relative lack of acceptance of the ethics of the common good within medical ethics. As a result while economics in the field of health has as an objective the maximisation of the (...) health of the community, subject to resource constraints, medical ethics pushes individual doctors to try to maximise the health of their patients. There is no reason to believe that the latter will sum to the former. To make the maximisation of health of the community the goal of the medical profession requires institutional changes, particularly with regard to budgeting, which will cajole and if necessary coerce doctors to adopt the good of the community as their objective. (shrink)

Hanoch Ben-Yami has argued that the theory of the semantics of natural kind terms proposed by Kripke and Putnam is false and has proposed an allegedly novel account of the semantics of kind terms. In this article, I critically examine Ben-Yami’s arguments. I will argue that Ben-Yami’s objections do not show that Kripke and Putnam’s theory is false, but at most that the specific versions of it held by Kripke and Putnam have some weaknesses. Moreover, I will argue that Ben-Yami’s (...) account is not a novel account but it is only an unsatisfactory version of Kripke and Putnam’s theory. (shrink)